System for real-time scheduling in an asynchronous transfer mode communication network

ABSTRACT

A real-time feasibility device includes circuitry configured to sort tasks into a first scheduling priority order; split the sorted tasks into a first subset which can be scheduled using an inexact condition test and a second subset which cannot be scheduled using the inexact condition test; test the first subset using the inexact condition test; sort the tested first subset into a second scheduling priority order; sort the second subset into a third scheduling priority order; filter out one or more tasks of the second subset which cannot be scheduled using the inexact condition test or the exact condition test; test remaining tasks of the second subset using the exact condition test; sort the tested remaining tasks of the second subset into a fourth scheduling priority order; and execute the sorted and tested first subset and the sorted and tested remaining tasks of the second subset.

CROSS-REFERENCE TO RELATED APPLICATIONS

The present application is a Continuation of Ser. No. 15/923,171,allowed, having a filing date of Mar. 16, 2018.

BACKGROUND Field of the Disclosure

A method and system for enhanced feasibility testing of pre-emptivereal-time systems are described herein. In particular, separation andprioritization of tasks are applied to enhance feasibility testing ofpre-emptive real-time systems and methods.

Description of Related Art

The “background” description provided herein is for the purpose ofgenerally presenting the context of the disclosure. Work of thepresently named inventors, to the extent it is described in thisbackground section, as well as aspects of the description which may nototherwise qualify as prior art at the time of filing, are neitherexpressly nor impliedly admitted as prior art against the presentinvention.

Rate Monotonic (RM) scheduling is a priority assignment algorithm usedin real-time operating systems (RTOSs) with a static-priority schedulingclass. The static priorities are assigned according to one cycleduration of a job. As a result, a shorter cycle duration results in ahigher job priority. The task with the shortest periodicity executeswith the highest priority. The RTOSs are generally pre-emptive and havedeterministic guarantees with regard to response times. An RTOS servesreal-time applications that process data as it comes in. It is atime-bound system with well-defined fixed-time constraints. Theconstraints can be event driven or time sharing. Event-driven systemsswitch between tasks based on their priorities, while time-sharingsystems switch the task based on clock interrupts. RM analysis is usedin conjunction with those systems to provide scheduling guarantees for aparticular application.

An RM scheduling method includes steps of checking the number of tasksto be scheduled, allocating priorities to the tasks, and processing thetasks in a shortest-period-first manner. Determining an RM systemfeasibility includes dividing feasibility tests into two categories ofinexact conditions and exact conditions. Combining both conditions hasthe potential to determine the RM schedulability on a single processorfaster and without compromising system utilization.

Inexact testing is usually limited to low system utilization, whileexact testing is complex and cannot be utilized for many online systems.Accordingly, it is one objective of the present disclosure to provide aschedulability system and method that optimize both exact and inexactcondition testing for rate-monotonic scheduling.

SUMMARY

An exemplary embodiment includes a method of determining real-timesystem feasibility. The method includes sorting, via a sorter engine ofa pre-emptive real-time processor, a set of tasks into a firstscheduling priority order; splitting, via a splitter engine of thepre-emptive real-time processor, the sorted set of tasks into a firstsubset which can be scheduled using an inexact condition test and asecond subset which cannot be scheduled using the inexact conditiontest; transferring a first enhanced data packet having a first set ofprocessing instructions from the sorter engine to a feasibility testerengine; testing, via the feasibility tester engine, the first subsetaccording to the first set of processing instructions using the inexactcondition test; sorting, via the sorter engine of the pre-emptivereal-time processor, the tested first subset into a second schedulingpriority order; sorting, via the sorter engine of the pre-emptivereal-time processor, the second subset into a third scheduling priorityorder; determining, via circuitry of the pre-emptive real-timeprocessor, whether the second subset can be scheduled using an exactcondition test; filtering out one or more tasks of the second subsetwhich cannot be scheduled using the inexact condition test or the exactcondition test; transferring a second enhanced data packet having asecond set of processing instructions from the sorter engine to thefeasibility tester engine; testing, via the feasibility tester engine ofthe pre-emptive real-time processor, remaining tasks of the secondsubset according to the second set of processing instructions using theexact condition test; sorting, via the sorter engine of the pre-emptivereal-time processor, the tested remaining tasks of the second subsetinto a fourth scheduling priority order; executing, via an executionengine of the pre-emptive real-time processor, the sorted and testedfirst subset; and executing, via the execution engine of the pre-emptivereal-time processor, the sorted and tested remaining tasks of the secondsubset.

The foregoing paragraphs have been provided by way of generalintroduction, and are not intended to limit the scope of the followingclaims. The described embodiments, together with further advantages,will be best understood by reference to the following detaileddescription taken in conjunction with the accompanying drawings.

BRIEF DESCRIPTION OF THE DRAWINGS

A more complete appreciation of the disclosure and many of the attendantadvantages thereof will be readily obtained as the same becomes betterunderstood by reference to the following detailed description whenconsidered in connection with the accompanying drawings, wherein:

FIG. 1 is a flowchart of an exemplary feasibility testing process for areal-time system according to one embodiment;

FIG. 2 is a block diagram illustrating an exemplary pre-emptivereal-time processor according to one embodiment;

FIG. 3 is a block diagram illustrating an exemplary pre-emptivereal-time system according to one embodiment:

FIG. 4 is a schematic of an exemplary computing device according to oneembodiment; and

FIG. 5 is a flowchart for an exemplary method of determining real-timesystem feasibility according to one embodiment.

DETAILED DESCRIPTION

The following descriptions are meant to further clarify the presentdisclosure by giving specific examples and embodiments of thedisclosure. These embodiments are meant to be illustrative rather thanexhaustive. The full scope of the disclosure is not limited to anyparticular embodiment disclosed in this specification, but rather isdefined by the claims.

It will be appreciated that in the development of any such actualimplementation, numerous implementation-specific decisions may need tobe made in order to achieve the developer's specific goals, such ascompliance with application- and business-related constraints, and thatthese specific goals will vary from one implementation to another andfrom one developer to another.

An objective of embodiments described herein is to schedule real-timesystems such that the associated timing constraints of a task deadlineremain intact and the overall system feasibility is determined in anefficient way, especially online systems. An increased feasibility forscheduling real-time tasks splits a work load into two parts and thescheduling feasibility of each part is determined accordingly. A firstfeasibility subset is checked through a sufficient condition by startingwith a highest priority task, while a second feasibility subset istested through necessary and sufficient conditions with a lowestpriority first approach.

A combination of the two techniques results in a faster feasibility testfor a real-time system. A lowest priority first approach is integratedwith the second feasibility subset, which determines systeminfeasibility faster. Embodiments described herein include, but are notlimited to operating system schedulers, cloud-based gaming, robotics,avionics, and vehicles.

Schedulability analysis is used to determine off-line whether hardreal-time jobs in a real-time system will meet their deadlines. Onemethod to perform schedulability analysis of fixed priority scheduledsystems is to calculate the worst case response-time of each process,i.e. to perform an RTA. The system is deemed schedulable if thecalculated response-time for each process is less than its correspondingdeadline. RTA can be used for hard disk drives and communicationsnetworks, such as Asynchronous Transfer Mode (ATM) communicationnetworks (see Sjodin et al. “Improved Response-Time AnalysisCalculations,” incorporated in its entirety by reference herein).

A consideration in designing complex real-time multi-tasking systems istiming accuracy. The system needs to provide predictable behavior undera gamut of circumstances. When scheduling a task set, an appropriatescheduling algorithm is applied to ensure the timing constraints of thetask set. One exemplary algorithm for scheduling real-time systems isRate Monotonic (RM) scheduling. The RM algorithm assigns priorities totasks based on activation rates.

It can be determined whether a real-time system is RM-schedulable bydetermining if a task passes a feasibility test. The feasibility test isdivided into two classes for an inexact condition and an exactcondition.

An inexact condition is an imprecise condition. If a task passes asufficient test (as determined by the specific application), then thetask is deemed to be schedulable. Otherwise, the task fails thesufficient test and is not deemed to be schedulable.

An exact condition needs both necessary and sufficient conditions. In anexact condition, the task set is RM schedulable; otherwise, the systemis not RM schedulable.

One exemplary inexact test to determine whether periodic tasks are RMschedulable is a Liu & Layland bound (LL-bound) test. Liu & Laylanddetermined that for a set of periodic tasks with unique periods, afeasible schedule that will always meet deadlines exists if the CPUutilization is below a specific bound, which depends on the number oftasks. The complexity of an inexact condition is polynomial, but it canonly provide up to 69% system utilization. LL-bound works well with lowsystem utilization.

Liu & Layland showed that for a set of n periodic tasks with uniqueperiods, a feasible schedule that will meet deadlines exists if the CPUutilization is below a specific bound, depending on the number of tasks.The schedulability test for RM scheduling is

$U = {{\sum\limits_{i = 1}^{n}\left( {C{i/T}i} \right)} \leq {n\left( {2^{\frac{1}{n}} - 1} \right)}}$where C_(i) is the computation time, T is the release period (withdeadline one period later), and n is the number of processes to bescheduled. When the number of processes tends towards infinity, theexpression will tend towards ln 2=0.693147. Therefore, a rough estimateis an RM schedule can meet all of the deadlines if the CPU utilizationis less than 69.32%. The other 30.7% of the CPU utilization can bededicated to lower-priority non real-time tasks.

Response Time Analysis (RTA) can be used as an exact test for a periodictask set. An exact condition results in 100% system utilization, but thecomplexity is pseudo-polynomial and it may not be applicable for onlinesystems. RTA is a schedulability analysis of fixed priority scheduledsystems which calculates the worst case response time of each process.The system is deemed schedulable if the calculated response time foreach process is less than its corresponding deadline. The calculatedresponse time R_(i) can be calculated as

${Ri} = {{Bi} + {Ci} + {\sum\limits_{j \in {{hp}(i)}}{\left( \frac{\left( {{Ri} + {Jj}} \right)}{Tj} \right)Cj}}}$where B_(i) is the maximum blocking from lower priority processes. J_(i)is the maximum jitter (i.e. variance from periodicity). C_(i) is theworst case computation time, T_(i) is the period (minimum inter-arrivaltime), and hp(i) denotes the set of processes with a higher prioritythan process i.

Embodiments described herein combine LL-bound and RTA for a fasterfeasibility analysis. In addition, a reverse order of tasks is usedwhile checking the feasibility, which starts from the lowest priority.This method is faster than checking the feasibility of tasks startingfrom the highest priority task. The combination of LL-bound and RTA andstarting from the lowest priority task is also more practical for onlinesystems.

The complexity of existing techniques is lowered by combining inexactconditions with exact conditions for a faster feasibility analysis. Thecombined testing provides 100% CPU utilization by splitting the task setinto two subsets. The feasibility of the first subset is determined withthe inexact condition (LL-bound), while the feasibility of the remainingtask set is subject to the exact condition. For the second subset, theschedulability of the task set is arranged in ascending priority orderstarting from the lowest priority task in the system using RTA. Thistechnique results in a faster analysis of the RM scheduling problem forpre-emptive systems.

FIG. 1 is a flowchart of an exemplary feasibility testing process 100for a real-time system using embodiments described herein. In step S110,tasks of the real-time system are sorted in a descending priority orderbased on activation rates of the tasks. In one embodiment, RM schedulingcan be used. In step S120, it is determined whether the tasks will bescheduled using an inexact condition test, such as an LL-bound test.

If the tasks will be scheduled using an inexact condition test (a “YES”decision in step S120), the process proceeds to step S130. In step S130,an inexact testis executed on the tasks schedulable with an inexacttest. In step S140, the tasks of the real-time system are sorted in adescending priority order based on activation rates of the tasks.

If the tasks will not be scheduled using an inexact condition test (a“NO” decision in step S120), the process proceeds to step S150, wherethe remaining subset of tasks is sorted in an ascending priority orderbased on activation rates of the tasks.

In step S160, it is determined whether the sorted tasks received fromstep S150 will be scheduled using an exact condition test, such as anRTA test. If the sorted tasks will not be scheduled using an exactcondition test (a “NO” decision in step S160), the results are filteredout in step S170 because the system is not schedulable.

If the sorted tasks received from step S150 will be scheduled using anexact condition test (a “YES” decision in step S160), the processproceeds to step S180, where an exact test is executed on the tasksschedulable with an exact test. The process proceeds to step S140 wherethe tasks from the executed exact test are sorted in a descendingpriority order based on activation rates of the tasks. Tasks for thereal-time system from step S140 are schedulable, as represented by stepS190.

FIG. 2 is a block diagram illustrating an exemplary pre-emptivereal-time processor 200 having circuitry configured to executeembodiments as described herein. A descending priority sorter 210 hascircuitry configured to sort tasks of a real-time system in descendingpriority order based on activation rates of the tasks, as described bystep S110. The descending priority sorter 210 transmits results to atask splitter 220.

The task splitter 220 has circuitry configured to determine which taskscan be scheduled using an inexact condition test, as described by stepS120. The task splitter 220 transmits those results which can bescheduled using an inexact condition test to an inexact condition tester230. The inexact condition tester 230 tests the received results usingan LL-bound test, for example. The inexact condition tester 230 forwardsthe tested results to a descending priority sorter 240, as described bystep S130.

When the task splitter 220 has determined that some of the tasks cannotbe scheduled with an inexact condition test, those tasks are forwardedto an ascending priority sorter 250. The ascending priority sorter 250has circuitry configured to sort tasks received from the task splitter220 in ascending order based on activation rates of the tasks, asdescribed by step S140. The prioritized results are transmitted to anexact condition tester 260. The exact condition tester 260 tests thereceived results using an RTA test, for example.

If tasks cannot be scheduled with an inexact condition test or an exactcondition test, those tasks are forwarded to an infeasible system filter270. Tasks that can be scheduled with an inexact condition test or anexact condition test are forwarded to the descending priority sorter 240for prioritization in descending priority order based on activationrates of the tasks. The prioritized results are transmitted to afeasible system executor 280 for execution in a feasible system.

FIG. 3 is a block diagram illustrating an exemplary pre-emptivereal-time system 300. The pre-emptive real-time processor 200 has aplurality of processing engines. References to the engines throughoutthe disclosure are meant to refer to software processes executed bycircuitry of one or more processing circuits, which can also be referredto interchangeably as processing circuitry.

A sorter engine 310 has circuitry configured to sort data transmittedfrom the pre-emptive real-time processor 200. Data can be sorted in adescending priority schedule or an ascending priority schedule based onactivation rates of the tasks. Sorted results are transmitted back tothe pre-emptive real-time processor 200.

A splitter engine 320 has circuitry configured to determine which tasksare schedulable using an inexact condition test and which tasks areschedulable using an exact condition test. The divided results aretransmitted to the pre-emptive real-time processor 200 as data scheduledfor inexact condition testing and data scheduled for exact conditiontesting.

A feasibility tester engine 330 has circuitry configured to test resultsreceived from the splitter engine 320, via the pre-emptive real-timeprocessor 20. Results tagged for inexact condition testing are testedusing an LL-bound test, for example. Results tagged for exact conditiontesting are tested using an RTA test, for example.

The inexact condition tested results and the exact condition testedresults received from the feasibility tester engine 330 are forwarded toan execution engine 340, via the pre-emptive real-time processor 200 forexecution in a feasible system. Tasks that were not deemed schedulablefor inexact condition testing or exact condition testing are filteredand removed from the system.

Each of the sorter engine 310, the splitter engine 320, the testerengine 330, and the execution engine 340 transmit data to and from areal-time database 350. Data stored in the real-time database 350include, but are not limited to priority lists from the sorter engine310, divided test lists from the splitter engine 320, and test resultsfrom the feasibility tester engine 330.

In response to selecting one of the engines such as the feasibilitytester engine 330, the sorter engine 310 transmits an enhanced datapacket to the feasibility tester engine 330 via the pre-emptivereal-time processor 200 to perform the requested computing processes.For example, the enhanced data packet can include processinginstructions for cross-referencing sorted prioritized results from thesorter engine 310 with an inexact condition test of the feasibilitytester engine 330. Another enhanced data packet can include processinginstructions for cross-referencing sorted prioritized results from thesorter engine 310 with an exact condition test of the feasibility testerengine 330.

By condensing the data associated with the request into a single datastructure that is transmitted as an enhanced data packet, vast amountsof data are condensed, which reduces computer congestion. In addition,other processing tasks associated with other processing engines can besimilarly distributed for an enhanced and efficient pre-emptivereal-time system 300.

FIG. 4 is a schematic of an exemplary computing device, such aspre-emptive real-time processor 200, which can be used to implement thetechniques described in this disclosure. The computing device 200 isintended to represent various forms of digital hardware, such aslaptops, desk-tops, workstations, personal digital assistants, servers,blade servers, mainframes, and other appropriate computers. Thecomponents shown here, their connections and relationships, and theirfunctions are meant to be examples only and are not meant to belimiting.

The computing device 200 includes a processor 400, a memory 402, astorage device 404, a high-speed interface 412 connecting to the memory402 and multiple high-speed expansion ports 416, and a low-speedinterface 410 connecting to a low-speed expansion port 414 and thestorage device 404. Each of the processor 400, the memory 402, thestorage device 404, the high-speed interface 412, the high-speedexpansion ports 416, and the low-speed interface 410 are interconnectedusing various busses, such as communication bus 426, and may be mountedon a common motherboard or in other manners as appropriate.

The processor 400 can process instructions for execution within thecomputing device 200, including instructions stored in the memory 402 oron the storage device 404 to display graphical information for a GUI onan external input/output device, such as a display 408 coupled to thehigh-speed interface 412. In other implementations, multiple processorsand/or multiple buses may be used, as appropriate, along with multiplememories and types of memory. Also, multiple computing devices may beconnected, with each device providing portions of the necessaryoperations (e.g., as a server bank, a group of blade servers, or amulti-processor system). The memory 402 stores information within thecomputing device 200. In some implementations, the memory 402 is avolatile memory unit or units. In some implementations, the memory 402is a non-volatile memory unit or units. The memory 402 can also beanother form of computer-readable medium, such as a magnetic or opticaldisk.

The storage device 404 is capable of providing mass storage for thecomputing device 200. In some implementations, the storage device 404can be or contain a computer-readable medium, such as a floppy diskdevice, a hard disk device, an optical disk device, a tape device, aflash memory or other similar solid state memory device, or an array ofdevices, including devices in a storage area network or otherconfigurations. Instructions can be stored in an information carrier.The instructions, when executed by one or more processing devices (forexample, processor 400), perform one or more methods, such as thosedescribed above. The instructions can also be stored by one or morestorage devices, such as computer- or machine-readable mediums (forexample, the memory 402, the storage device 404, or memory on theprocessor 400).

The high-speed interface 412 manages bandwidth-intensive operations forthe computing device 200, while the low-speed interface 410 manageslower bandwidth-intensive operations. Such allocation of functions is anexample only. In some implementations, the high-speed interface 412 iscoupled to the memory 402, the display 408 (e.g., through a graphicsprocessor or accelerator), and to the high-speed expansion ports 416,which may accept various expansion cards (not shown). In theimplementation, the low-speed interface 410 is coupled to the storagedevice 404 and the low-speed expansion port 414. The low-speed expansionport 414, which can include various communication ports (e.g., USB,Bluetooth, Ethernet, wireless Ethernet) can be coupled to one or moreinput/output devices 418, such as a keyboard, a pointing device, ascanner, or a networking device such as a switch or router, e.g.,through a network adapter.

The computing device 200 also includes a network controller 406, such asan Intel Ethernet PRO network interface card from Intel Corporation ofAmerica, for interfacing with a network 44. As can be appreciated, thenetwork 44 can be a public network, such as the Internet, or a privatenetwork such as an LAN or WAN network, or any combination thereof andcan also include PSTN or ISDN sub-networks. The network 44 can also bewired, such as an Ethernet network, or can be wireless such as acellular network including EDGE, 3G and 4G wireless cellular systems.The wireless network can also be Wi-Fi, Bluetooth, or any other wirelessform of communication that is known.

Although the computing device of FIG. 4 is described as having a storagemedium device 404, the claimed advancements are not limited by the formof the computer-readable media on which the instructions of thedescribed processes are stored. For example, the instructions can bestored on CDs. DVDs, in FLASH memory, RAM. ROM, PROM, EPROM, EEPROM,hard disk, or any other information processing device with which thecomputing device communicates.

In other alternate embodiments, processing features according to thepresent disclosure may be implemented and commercialized as hardware, asoftware solution, or a combination thereof. Moreover, instructionscorresponding to processes described herein could be stored in aportable drive, such as a USB Flash drive that hosts a secure process.

Computer programs (also known as programs, software, softwareapplications, or code) associated with the processes described hereininclude machine instructions for a programmable processor, and can beimplemented in a high-level procedural and/or object-orientedprogramming language, and/or in assembly/machine language. As usedherein, the terms machine-readable medium and computer-readable mediumrefer to any computer program product, apparatus, and/or device (e.g.,magnetic discs, optical disks, memory, Programmable Logic Devices(PLDs)) used to provide machine instructions and/or data to aprogrammable processor, including a machine-readable medium thatreceives machine instructions as a machine-readable signal. The termmachine-readable signal refers to any signal used to provide machineinstructions and/or data to a programmable processor.

To provide for interaction with a user, the systems and techniquesdescribed herein can be implemented on a computer having a displaydevice 408 (e.g., a CRT (cathode ray tube) or LCD (liquid crystaldisplay) monitor) for displaying information to the user and a keyboardand a pointing device 418 (e.g., a mouse or a trackball) by which theuser can provide input to the computer. Other kinds of devices can beused to provide for interaction with a user as well. For example,feedback provided to the user can be any form of sensory feedback (e.g.,visual feedback, auditory feedback, or tactile feedback), and input fromthe user can be received in any form, including acoustic, speech, ortactile input.

The systems and techniques described herein can be implemented in acomputing system that includes a back end component (e.g., as a dataserver), or that includes a middleware component (e.g., an applicationserver), or that includes a front end component (e.g., a client computerhaving a graphical user interface or a Web browser through which a usercan interact with an implementation of the systems and techniquesdescribed here), or any combination of such back end, middleware, orfront end components. The components of the system can be interconnectedby any form or medium of digital data communication (e.g., acommunication network). Examples of communication networks include alocal area network (LAN), a wide area network (WAN), and the Internet.

The computing system can include clients and servers. A client andserver are generally remote from each other and typically interactthrough a communication network. The relationship of client and serverarises by virtue of computer programs running on the respectivecomputers and having a client-server relationship to each other.

FIG. 5 is a flowchart for an exemplary method 500 of determiningreal-time system feasibility. In step S510, a set of tasks is sortedinto a first scheduling priority order. The sorting can be executed viaa sorter engine of a pre-emptive real-time processor.

In step S515, the sorted set of tasks is split into a first subset whichcan be scheduled using an inexact condition test and a second subsetwhich cannot be scheduled using the inexact condition test. Thesplitting can be executed via a splitter engine of the pre-emptivereal-time processor.

In step S520, a first enhanced data packet having a first set ofprocessing instructions is transferred from the sorter engine to afeasibility tester engine of the pre-emptive real-time processor.

In step S525, the first subset is tested according to the first set ofprocessing instructions using the inexact condition test. The testingcan be executed via the feasibility tester engine of the pre-emptivereal-time processor.

In step S530, the tested first subset is sorted into a second schedulingpriority order. The sorting can be executed via the sorter engine of thepre-emptive real-time processor.

In step S535, the second subset is sorted into a third schedulingpriority order. The sorting can be executed via the sorter engine of apre-emptive real-time processor.

In step S540, it is determined whether the second subset can bescheduled using an exact condition test. The determining can be executedvia circuitry of the pre-emptive real-time processor.

In step S545, one or more tasks of the second subset which cannot bescheduled using the inexact condition test or the exact condition testare filtered out.

In step S550, a second enhanced data packet having a second set ofprocessing instructions is transferred from the sorter engine to thefeasibility tester engine.

In step S555, remaining tasks of the second subset are tested accordingto the second set of processing instructions using the exact conditiontest. The testing can be executed via the feasibility tester engine ofthe pre-emptive real-time processor.

In step S560, the tested remaining tasks of the second subset are sortedinto a fourth scheduling priority order. The sorting can be executed viathe sorter engine of the pre-emptive real-time processor.

In step S565, the sorted and tested first subset is executed. Theexecution can be implemented via an execution engine of the pre-emptivereal-time processor.

In step S570, the sorted and tested remaining tasks of the second subsetare executed. The execution can be implemented via the execution engineof the pre-emptive real-time processor.

A number of implementations have been described. Nevertheless, it willbe understood that various modifications may be made without departingfrom the spirit and scope of this disclosure. For example, preferableresults may be achieved if the steps of the disclosed techniques areperformed in a different sequence, if components in the disclosedsystems are combined in a different manner, or if the components arereplaced or supplemented by other components. The functions, processes,and algorithms described herein may be performed in hardware or softwareexecuted by hardware, including computer processors and/or programmablecircuits configured to execute program code and/or computer instructionsto execute the functions, processes, and algorithms described herein.Additionally, an implementation may be performed on modules or hardwarenot identical to those described. Accordingly, other implementations arewithin the scope that may be claimed.

Embodiments described herein can be implemented in conjunction with thedevices described above. Embodiments described herein are a combinationof hardware and software, and processing circuitry by which the softwareis implemented.

Embodiments described herein have several advantages over conventionalsystems and methods used in feasibility testing of real-time systems. Inone example, a conventional system uses two processors. A firstprocessor is used exclusively for running real-time tasks with adeadline guarantee and a second general purpose processor is used forrunning general tasks that are not schedulable on the exclusiveprocessor. In contrast, embodiments described herein can use a singleprocessor for running the entire task set.

In a second example, a conventional system exploits slack time. When atask completes before its deadline, the remaining slack time is dividedamong other tasks. As a result, the CPU runs at a lower speed for powersavings. In contrast, embodiments described herein do not change thesystem speed. The task set is divided into two subsets according to RMscheduling to provide a faster feasibility analysis.

In a third example, a conventional system divides a task set into twosubsets. However, the conventional system checks the feasibility in ahighest priority first order, whereas embodiments described herein checkthe feasibility of the larger subset in a lowest priority first order.

In a fourth example, a conventional system adjusts the system speed onthe fly to maximize the power consumption of the system. Heuristics areproposed based on portioning the system such that a task is assigned tomultiple processors. In contrast, embodiments described herein uses asingle processor system, wherein the partition or splitting of a taskset is based on a mathematical formulation, rather than heuristics. Inaddition, the instant system does not change the system speed for energyconsumption.

In a fifth example, a conventional system uses a concept of least commonmultiple to create the feasibility of a system. In contrast, embodimentsdescribed herein rely on task periods, wherein the motivation is to finda system feasibility problem early in the process.

In a sixth example, a conventional system allocates multiple framesgenerated by a task to a single processor. Multiple processors are usedwhere the feasibility test drawn is based on a ratio of task computationtime to task periods. The system is based on this ratio and willcontinue to be feasible for soft real-time tasks as long as the ratio isless than or equal to the number of processors. In contrast, embodimentsdescribed herein use hard real-time systems and a uniprocessor systemthat is capable of running all tasks and their associated jobs.

In summary, embodiments described herein check the feasibility of alarger subset in a lowest priority first order. RTA is used as an exactcondition test. The feasibility order is reversed and therefore, aHyperbolic Exact Test (HET) is not applicable.

A number of implementations have been described. Nevertheless, it willbe understood that various modifications may be made without departingfrom the spirit and scope of this disclosure. For example, preferableresults may be achieved if the steps of the disclosed techniques areperformed in a different sequence, if components in the disclosedsystems are combined in a different manner, or if the components arereplaced or supplemented by other components.

The foregoing discussion describes merely exemplary embodiments of thepresent disclosure. As will be understood by those skilled in the art,the present disclosure may be embodied in other specific forms withoutdeparting from the spirit or essential characteristics thereof.Accordingly, the disclosure is intended to be illustrative, but notlimiting of the scope of the disclosure, as well as the claims. Thedisclosure, including any readily discernible variants of the teachingsherein, defines in part, the scope of the foregoing claim terminologysuch that no inventive subject matter is dedicated to the public.

The invention claimed is:
 1. A real-time system for determiningrate-monotonic scheduling feasibility of tasks of an asynchronoustransfer mode communication network and executing feasible tasks,comprising: a pre-emptive real-time database; and a pre-emptivereal-time processor having circuitry configured to: sort a set of tasksof the asynchronous transfer mode communication network into a firstscheduling priority order in a descending order of priority based onactivation rates of the tasks of the set of tasks; split the sorted setof tasks into a first subset which can be scheduled using an inexactcondition test and a second subset which cannot be scheduled using theinexact condition test, wherein the inexact condition test is anLL-bound test: transfer a first enhanced data packet having a first setof processing instructions from a sorter engine to a feasibility testerengine; test the first subset according to the first set of processinginstructions using the inexact condition test; sort the tested firstsubset into a second scheduling priority order in a descending order ofpriority based on activation rates of the tasks of the tested firstsubset: sort the second subset into a third scheduling priority order inan ascending order of priority based on activation rates of the tasks ofthe second subset; determine whether the second subset can be scheduledusing an exact condition test if a calculated response-time for eachtask of the second subset is less than a corresponding deadline; filterout one or more tasks of the second subset which cannot be scheduledusing the inexact condition test or the exact condition test; transfer asecond enhanced data packet having a second set of processinginstructions from the sorter engine to the feasibility tester engine;test remaining tasks of the second subset according to the second set ofprocessing instructions using the exact condition test, wherein theexact condition test is a response time analysis (RTA) test; sort thetested remaining tasks of the second subset into a fourth schedulingpriority order; execute the sorted and tested first subset: execute thesorted and tested remaining tasks of the second subset; and transfer andretrieve data to and from the pre-emptive real-time database.
 2. Thesystem of claim 1, wherein the system comprises a uniprocessor system.3. The system of claim 1, configured to be executed with one of anoperating system scheduler, cloud-based gaming, robotics, avionics, orvehicles.
 4. The system of claim 1, wherein the pre-emptive real-timeprocessor includes the sorter engine, a splitter engine, the feasibilitytester engine, and an execution engine.
 5. The system of claim 1,wherein the pre-emptive real-time database includes a plurality ofpriority lists, a plurality of divided test lists, and a plurality oftest results.